83 research outputs found

    Integer Optimization and Computational Algebraic Topology

    Get PDF
    We present recently discovered connections between integer optimization, or integer programming (IP), and homology. Under reasonable assumptions, these results lead to efficient solutions of several otherwise hard-to-solve problems from computational topology and geometric analysis. The main result equates the total unimodularity of the boundary matrix of a simplicial complex to an algebraic topological condition on the complex (absence of relative torsion), which is often satisfied in real-life applications . When the boundary matrix is totally unimodular, the problem of finding the shortest chain homologous under Z (ring of integers) to a given chain, which is inherently an integer program, can be solved in polynomial time as a linear program. This result is surprising in the backdrop of a previous result, which showed the problem to be NP-hard when the homology is defined over the popularly used field of Z2, consisting of integers 0 and 1. This problem finds applications in several domains including coverage verification in sensor networks and characterizing tunnels in biomolecules. We also present new results on computing the flat norm of currents in the setting of simplicial complexes. Flat norm decomposition is a classical technique from geometric measure theory, and has been applied for several image analysis tasks. Our approach allows one to use flat norm computations in arbitrarily large dimensions - for instance, to denoise high dimensional datasets.https://pdxscholar.library.pdx.edu/systems_science_seminar_series/1056/thumbnail.jp

    Topological Features In Cancer Gene Expression Data

    Full text link
    We present a new method for exploring cancer gene expression data based on tools from algebraic topology. Our method selects a small relevant subset from tens of thousands of genes while simultaneously identifying nontrivial higher order topological features, i.e., holes, in the data. We first circumvent the problem of high dimensionality by dualizing the data, i.e., by studying genes as points in the sample space. Then we select a small subset of the genes as landmarks to construct topological structures that capture persistent, i.e., topologically significant, features of the data set in its first homology group. Furthermore, we demonstrate that many members of these loops have been implicated for cancer biogenesis in scientific literature. We illustrate our method on five different data sets belonging to brain, breast, leukemia, and ovarian cancers.Comment: 12 pages, 9 figures, appears in proceedings of Pacific Symposium on Biocomputing 201
    • …
    corecore